Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 5.Ident. | Authors (with country if any) | Title |
---|---|---|
000D42 | Martin Abadi [États-Unis] ; Steve Kremer [France] | Principles of Security and Trust |
005261 | Véronique Cortier [France] ; Martin Abadi [États-Unis] | Deciding knowledge in security protocols under equational theories. |
005A16 | Martin Abadi ; Véronique Cortier [France] | Deciding knowledge in security protocols under (many more) equational theories |
007039 | Martin Abadi ; Véronique Cortier [France] | Deciding knowledge in security protocols under equational theories |
007040 | Martin Abadi ; Véronique Cortier [France] | Deciding knowledge in security protocols under equational theories |
This area was generated with Dilib version V0.6.33. |